example problems of Boolean expression simplification